Project Title: Handheld electrochemical impedance spectroscopy sensing unit Project Short description

Source URL: inl.int

• Cross-platform software
• Numerical software
• Visual programming languages
• Logic design
• LabVIEW
• MATLAB
• Synopsys
• SPICE
• Microcontroller
• Software
• Electronic engineering
• Computing

BRICS Basic Research in Computer Science BRICS DS-99-1 G. L. Cattani: Presheaf Models for Concurrency

Source URL: www.brics.dk

• Logic in computer science
• Process calculi
• Sheaf theory
• Π-calculus
• Programming language semantics
• Bisimulation
• Presheaf
• Coinduction
• Process calculus
• Mathematics
• Theoretical computer science
• Applied mathematics

2011 Paper 8 Question 2 Hoare Logic The programming language L consists of commands C composed from assignments V :=E (where E is an expression) using sequences C1 ;C2 , conditionals IF S THEN C1 ELSE C2 (where S is sta

Source URL: www.cl.cam.ac.uk

Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr P. Bruscoli, Peter Steinke, Amin Timany Practical Session 7

Source URL: www.cs.bath.ac.uk

(Proc. of 1991 Int’l. Symp. on Parallel Lang. Implementation and Logic Programming) A Technique for Recursive Invariance Detection and Selective Program Specialization F. Giannotti1 CNUCE-CNR

Source URL: clip.dia.fi.upm.es

Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨

Source URL: www.itu.dk

αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

Source URL: www.schemeworkshop.org

Visualization Designs for Constraint Logic Programming∗ Manuel Carro Manuel Hermenegildo Computer Science School — Technical University of Madrid Boadilla del Monte

Source URL: clip.dia.fi.upm.es

Under consideration for publication in Theory and Practice of Logic Programming 1 On the Existence of Stable Models of Non-stratified Logic Programs

Source URL: costantini.di.univaq.it

Exercises for the Course Logic Programming Engineering (Author Dr. W. Nauber) Dr P. Bruscoli, Peter Steinke, Amin Timany Practical Session 9

Source URL: www.cs.bath.ac.uk